Efficient Allocation and Enforcement of Interfaces in Compositional Real - Time Systems

EFFICIENT ALLOCATION AND ENFORCEMENT OF INTERFACES INCOMPOSITIONAL REAL-TIME SYSTEMSbyFARHANA DEWANMay 2014 Advisor: Dr. Nathan FisherMajor: Computer ScienceDegree: Doctor of Philosophy Compositional real-time research has become one of the emerging trends in embedded and real-timesystems due to the increasing scale and complexity of such systems. In this design paradigm, a largesystem is decomposed into smaller and simpler components, and developed independently. To hide in-ternal complexity from the entire system, components abstract their temporal requirements via interfaces.Such systems are mostly implemented by resource partitions which ensure that the components receive re-sources according to their interfaces. Potential implementations of a resource partition are via server-basedinterfaces or demand-based interfaces. In the former model, access to the processing resource for eachcomponent is provided by a server, which ensures that the real-time requirements are satisfied ensuringtemporal isolation among components (e.g., one component is isolated from the potentially faulty tempo-ral behavior of another component). In the later model, the component demand is accurately modeled bya demand-curve interface and resource is provided to the component according to the interface.In this dissertation our goal is to address the following thesis: Currently, server-based interfaces ensure strong temporal isolation among components at thecost of resource over-provisioning whereas demand-based interfaces precisely model the re-source demand of a component without the guarantee of temporal isolation. For both thesemodels, we show that efficient and effective resource allocation as well as strict temporal iso-lation among components can be achieved. Specifically, we obtain efficient and near-optimalbandwidth allocation schemes and admission controllers for periodic resource model and